منابع مشابه
On Various Negative Translations
Several proof translations of classical mathematics into intuitionistic mathematics have been proposed in the literature over the past century. These are normally referred to as negative translations or double-negation translations. Among those, the most commonly cited are translations due to Kolmogorov, Gödel, Gentzen, Kuroda and Krivine (in chronological order). In this paper we propose a fra...
متن کاملNegative Dialectics Translations
ion, the logical hierarchy of the stages of universality, and indeed also there, where the relationships of domination are caused to mask themselves behind democratic procedures. The Juridical Sphere 303-305 Following the Phenomenology and the Logic, Hegel drove the cult of the course of the world the furthest in the Philosophy of Law. The medium, in which what is bad is preserved for the sake ...
متن کامل[Effects of negative-sentence suggestions on various behavior].
The purpose of this study was to examine the effects of negative-sentence suggestions on various behavior. From the standpoint of the logic of negation, Miyashita (1998a, 1999) investigated the characteristics of feelings, sensations, and behavior. The results suggested that negative-sentence suggestions had more affirmative effects on mono-dimensional behavior than on multi-dimensional behavio...
متن کاملq-Translations on quantum spaces
Attention is focused on quantum spaces of particular importance in physics, i.e. two-dimensional quantum plane, q-deformed Euclidean space in three or four dimensions, and q-deformed Minkowski space. Each of these quantum spaces can be combined with its symmetry algebra to form a Hopf algebra. The Hopf structures on quantum space coordinates imply their translation. This article is devoted to t...
متن کامل1 Translations on a Lattice
We have seen that symmetry groups may have different implications on the physics. The first we have seen is an “internal symmetry”, global, manifested by multiplets of states which form the space acted upon by a representation of the group. Quite different is a local symmetry, which, although it is a much larger group, being a product of groups at each space-time point, does not have a correspo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2011
ISSN: 2075-2180
DOI: 10.4204/eptcs.47.4